منابع مشابه
2 Dta 2 Nta Nta
15 2DTA 2NTA NTA p MITL k U k DTA Figure 5: Relationship between various classes Theorem 5.2 The membership problem for 2NTA is solvable in PSPACE. Proof. Consider a 2NTA A, and let k be the magnitude of the largest constant appearing in a clock constraint in the transitions of A. Given a timed word w = (;) of length n, deene R w to be the set comprising of i + c and (i + j + c)=2 for 1 i; j n ...
متن کاملA guide to Dynamic Transcriptome Analysis (DTA)
Total RNA levels in a cell are the consequence of two opposing mechanisms, namely RNA synthesis and RNA degradation. DTA allows monitoring these contributions in a non-perturbing manner. It is provided with a kinetic modeling approach capable of the precise determination of synthesisand decay rates, which is implemented in this package (see supplementary methods in [6]). DTA can be applied to r...
متن کاملBewertung betrieblicher Anwendungen im Kontext ihrer Unternehmensarchitektur
Betriebliche Anwendungen unterstützen in Unternehmen deren Geschäftsprozesse und folglich auch deren Wertschöpfung und sind daher wichtige Artefakte. Häufig treten Situationen auf, in denen Anwendungen bewertet und mit weiteren Anwendungen verglichen werden müssen, bspw. bei Projekten zur Konsolidierung der Anwendungslandschaft oder bei der Einführung einer neuen Anwendung. Hinsichtlich einer B...
متن کاملSoftwarekartographie: Visualisierung von Anwendungslandschaften und ihrer Schnittstellen
Die verschiedenen betrieblichen Informationssysteme eines Unternehmens arbeiten nicht autark sondern sind in einem komplexen Netz – der Anwendungslandschaft – miteinander verwoben. Die einzelnen Beziehungen unterscheiden sich hinsichtlich ihrer technischen Realisierung und den fachlichen Aufgaben, so dass eine adäquate Beschreibung beide Dimensionen berücksichtigen muss. In unserem Forschungspr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fresenius' Zeitschrift f�r Analytische Chemie
سال: 1962
ISSN: 0016-1152,1618-2650
DOI: 10.1007/bf00482847